Error: Error: path (="CCG2/{}") must start with "CCG2/ccg2lambdatest.sagews"